home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / bignums / bigint.sig next >
Encoding:
Text File  |  1993-01-27  |  467 b   |  12 lines

  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. signature BIGINT =
  3.   sig type bigint            (* non-negative *)
  4.       val bigint : int -> bigint
  5.       val getbit : bigint * int -> bool  (* get the i'th bit; low-order
  6.                             bit is numbered 0 *)
  7.       val size : bigint -> int    (* size 0 = 0; size i = 1+floor(log2(i)) *)
  8.       val + : bigint * bigint -> bigint
  9.       val * : bigint * bigint -> bigint
  10.       val >> : bigint * int -> bigint    (* shift right *)
  11.   end
  12.